(Finsert_file_contents): If a coding system is

specified explicitly on visiting a new file, set
buffer-file-coding system of the new buffer to the specified one.

diff --git a/src/fileio.c b/src/fileio.c
index e23b74a17208cd542421115fcc7ef2fec1dbe48b..4636193e577eb9244b2f41a46515d6d134c1fe96 100644 (file)
--- a/src/fileio.c
+++ b/src/fileio.c
@@ -3164,6 +3164,8 @@ This does code conversion according to the value of\n\
        report_file_error ("Opening input file", Fcons (orig_filename, Qnil));
       st.st_mtime = -1;
       how_much = 0;
+      if (!NILP (Vcoding_system_for_read))
+       current_buffer->buffer_file_coding_system = Vcoding_system_for_read;
       goto notfound;
     }